Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
171	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
172	Reducts of structures and maximal-closed permutation groups Manuel Bodirsky∗, Laboratoire d’Informatique (LIX), CNRS UMR 7161, Ecole Polytechnique, 91128 Palaiseau, France, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-01-29 07:07:24 Group theory Lie groups Non-associative algebras Lie algebras Constructible universe Equivalence relation Model theory Mutation Order Group action Vertex operator algebra Lambda calculus
173	Jean Baudrillard - Simulations (English Translation:28 Jean Baudrillard Add to Reading List Source URL: www.kareneliot.de Language: English - Date: 2011-08-17 07:31:31 Postmodern theory Continental philosophy Jean Baudrillard Second-order simulacra Semiotics Symbols Simulacrum Truth Simulacra and Simulation Hyperreality Simulation Scientific modelling
174	Median-Unbiased Estimation of Higher Order Autoregressive/Unit Root Processes and Autocorrelation Consistent Covariance Estimation in a Money Demand Model J. Huston McCulloch 1 Add to Reading List Source URL: www.econ.ohio-state.edu Language: English - Date: 2012-01-12 12:02:16 Regression analysis Econometrics Time series analysis Estimation theory Parametric statistics Ordinary least squares Heteroscedasticity Linear regression Autocorrelation DurbinWatson statistic GaussMarkov theorem Unit root
175	Structural Evaluation by Generalized Integral Property? Yosuke Todo NTT Secure Platform Laboratories, Tokyo, Japan Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-07-02 20:32:13 Combinatorics Order theory Multiset Block cipher Permutation Pseudorandom permutation Path ordering Combination Integral Set
176	Jan Foniok – List of publications Journal papers [1] J. F, J. N , and C. T. Generalised dualities and maximal ﬁnite antichains in the homomorphism order of relational s Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2010-10-18 08:25:13 Order theory Integer sequences Antichain Duality
177	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
178	57 Doc. Math. J. DMV Order of Torsion in CH4 of Quadrics Nikita A. Karpenko1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-13 07:29:12 Algebraic geometry Quadric Algebraic K-theory Chow group Ample line bundle Intersection theory Cohomology
179	Microsoft Word - ORDER FORM02 Add to Reading List Source URL: www.cyberdriveillinois.com Language: English - Date: 2016-05-06 08:21:39 United States administrative law Administrative law Decision theory Rulemaking Illinois Register
180	Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Add to Reading List Source URL: plmms09.cse.tamu.edu Language: English - Date: 2009-08-19 04:48:38 Algebraic structures Mathematical logic Algebraic logic Lattice theory Order theory Galois connection Field Heyting algebra Relation algebra variste Galois Residuated lattice Group

UPDATE